$\forall$$p$:FinProbSpace, $A$, $B$:p{-}open($p$), $s$:($\mathbb{N}\rightarrow$Outcome). $s$ $\in$ p{-}union($A$;$B$) $\Leftarrow\!\Rightarrow$ ($s$ $\in$ $A$ $\vee$ $s$ $\in$ $B$)